hybrid logic

hybrid logic
гибридная логика

The English-Russian dictionary on reliability and quality control. 2015.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "hybrid logic" в других словарях:

  • Hybrid logic — refers to a number of extensions to propositional modal logic with more expressive power, though still less than first order logic. In formal logic, there is a trade off between expressiveness and computational tractability (how easy it is to… …   Wikipedia

  • Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system …   Wikipedia

  • Hybrid system — A hybrid system is a dynamic system that exhibits both continuous and discrete dynamic behavior a system that can both flow (described by a differential equation) and jump (described by a difference equation). Often, the term hybrid dynamic… …   Wikipedia

  • Hybrid integrated circuit — A hybrid integrated circuit, HIC, hybrid microcircuit, or simply hybrid is a miniaturized electronic circuit constructed of individual devices, such as semiconductor devices (e.g. transistors and diodes) and passive components (e.g. resistors,… …   Wikipedia

  • hybrid diode-transistor logic — loginis hibridinis diodinis tranzistorinis grandynas statusas T sritis radioelektronika atitikmenys: angl. hybrid diode transistor logic vok. Hybrid Dioden Transistor Logik, f rus. гибридная диодно транзисторная логическая схема, f pranc. logique …   Radioelektronikos terminų žodynas

  • Hybrid-Dioden-Transistor-Logik — loginis hibridinis diodinis tranzistorinis grandynas statusas T sritis radioelektronika atitikmenys: angl. hybrid diode transistor logic vok. Hybrid Dioden Transistor Logik, f rus. гибридная диодно транзисторная логическая схема, f pranc. logique …   Radioelektronikos terminų žodynas

  • Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …   Wikipedia

  • Temporal logic — In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic… …   Wikipedia

  • IBM Solid Logic Technology — Solid Logic Technology (SLT) was IBM s method for packaging electronic circuitry introduced in 1964 with the IBM System/360 series and related machines. IBM chose to design custom hybrid circuits using discrete, flip chip mounted, glass… …   Wikipedia

  • Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… …   History of philosophy

  • Transistor–transistor logic — (TTL) is a class of digital circuits built from bipolar junction transistors (BJT), and resistors. It is called transistor–transistor logic because both the logic gating function (e.g., AND) and the amplifying function are performed by… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»